$\exists$$e$$<$${\it e'}$.$P$($e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\exists$$e$:E. ($e$ $<$loc ${\it e'}$) \& $P$($e$)